Decidability for a temporal logic used in discrete-event system analysis
نویسنده
چکیده
International Journal of Control Publication details, including instructions for authors and subscription information: http://www.informaworld.com/smpp/title~content=t713393989 Decidability for a temporal logic used in discrete-event system analysis J. F. Knight a; K. M. Passino b a Department of Mathematics, University of Notre Dame, IN, U.S.A b Department of Electrical and Computer Engineering, University of Notre Dame, IN, U.S.A
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملPerformance Measurement and Improvement of Healthcare Service Using Discrete Event Simulation in Bahir Dar Clinic
This paper deals with the service performance analysis and improvement using discrete event simulation has been used. The simulation of the health care has been done by arena master development 14-version software. The performance measurement for this study are patients output, service rate, service efficiency and it is directly related to waiting time of patients in each service station, work ...
متن کاملIntroducing Temporal Description Logics
Description Logics are formalisms designed for a logical reconstruction of representation tools such as frames, Object-Oriented and semantic data models, semantic networks, type systems, and feature logics. Nowadays, description logics are also considered the most important unifying formalism for the many object-centred representation languages used in areas other than Knowledge Representation....
متن کاملA Decidable Approach to Real-time System Specification
Most formal methods employed for the specification and development of distributed systems are either event-based or state-based (For a more detailed account for the concepts ‘events’ and ‘states’, please see [2]). For system development both views are important [6]. More generally, in early phases of systems development, event-based methods are more suitable; in contrast, in later phases state-...
متن کاملIranian Railway System Performance Analysis Using Computer Simulation and Data Envelopment Analysis Methods
In this paper, a discrete event simulation model of Iranian railway system is used for analyzing performance of the system in freight sector. The model analysis shows more sensitivity of the system on loading and unloading facilities than on number of wagons and locomotives. System optimization through simulation optimization technique, shows that more than 4% of all wagons available in the n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990